3.661 \(\int \frac{\left (a+c x^2\right )^{5/2}}{(d+e x)^{3/2}} \, dx\)

Optimal. Leaf size=457 \[ -\frac{16 \sqrt{-a} \sqrt{c} \sqrt{\frac{c x^2}{a}+1} \sqrt{d+e x} \left (21 a^2 e^4+57 a c d^2 e^2+32 c^2 d^4\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a e}{\sqrt{-a} \sqrt{c} d-a e}\right )}{63 e^6 \sqrt{a+c x^2} \sqrt{\frac{\sqrt{c} (d+e x)}{\sqrt{-a} e+\sqrt{c} d}}}+\frac{16 \sqrt{-a} \sqrt{c} d \sqrt{\frac{c x^2}{a}+1} \left (a e^2+c d^2\right ) \left (33 a e^2+32 c d^2\right ) \sqrt{\frac{\sqrt{c} (d+e x)}{\sqrt{-a} e+\sqrt{c} d}} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a e}{\sqrt{-a} \sqrt{c} d-a e}\right )}{63 e^6 \sqrt{a+c x^2} \sqrt{d+e x}}-\frac{8 c \sqrt{a+c x^2} \sqrt{d+e x} \left (d \left (33 a e^2+32 c d^2\right )-3 e x \left (7 a e^2+8 c d^2\right )\right )}{63 e^5}-\frac{20 c \left (a+c x^2\right )^{3/2} (8 d-7 e x) \sqrt{d+e x}}{63 e^3}-\frac{2 \left (a+c x^2\right )^{5/2}}{e \sqrt{d+e x}} \]

[Out]

(-8*c*Sqrt[d + e*x]*(d*(32*c*d^2 + 33*a*e^2) - 3*e*(8*c*d^2 + 7*a*e^2)*x)*Sqrt[a
+ c*x^2])/(63*e^5) - (20*c*(8*d - 7*e*x)*Sqrt[d + e*x]*(a + c*x^2)^(3/2))/(63*e
^3) - (2*(a + c*x^2)^(5/2))/(e*Sqrt[d + e*x]) - (16*Sqrt[-a]*Sqrt[c]*(32*c^2*d^4
+ 57*a*c*d^2*e^2 + 21*a^2*e^4)*Sqrt[d + e*x]*Sqrt[1 + (c*x^2)/a]*EllipticE[ArcS
in[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*e)/(Sqrt[-a]*Sqrt[c]*d - a*e)]
)/(63*e^6*Sqrt[(Sqrt[c]*(d + e*x))/(Sqrt[c]*d + Sqrt[-a]*e)]*Sqrt[a + c*x^2]) +
(16*Sqrt[-a]*Sqrt[c]*d*(c*d^2 + a*e^2)*(32*c*d^2 + 33*a*e^2)*Sqrt[(Sqrt[c]*(d +
e*x))/(Sqrt[c]*d + Sqrt[-a]*e)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (S
qrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*e)/(Sqrt[-a]*Sqrt[c]*d - a*e)])/(63*e^6*Sqrt
[d + e*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi [A]  time = 1.27863, antiderivative size = 457, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.286 \[ -\frac{16 \sqrt{-a} \sqrt{c} \sqrt{\frac{c x^2}{a}+1} \sqrt{d+e x} \left (21 a^2 e^4+57 a c d^2 e^2+32 c^2 d^4\right ) E\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a e}{\sqrt{-a} \sqrt{c} d-a e}\right )}{63 e^6 \sqrt{a+c x^2} \sqrt{\frac{\sqrt{c} (d+e x)}{\sqrt{-a} e+\sqrt{c} d}}}+\frac{16 \sqrt{-a} \sqrt{c} d \sqrt{\frac{c x^2}{a}+1} \left (a e^2+c d^2\right ) \left (33 a e^2+32 c d^2\right ) \sqrt{\frac{\sqrt{c} (d+e x)}{\sqrt{-a} e+\sqrt{c} d}} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a e}{\sqrt{-a} \sqrt{c} d-a e}\right )}{63 e^6 \sqrt{a+c x^2} \sqrt{d+e x}}-\frac{8 c \sqrt{a+c x^2} \sqrt{d+e x} \left (d \left (33 a e^2+32 c d^2\right )-3 e x \left (7 a e^2+8 c d^2\right )\right )}{63 e^5}-\frac{20 c \left (a+c x^2\right )^{3/2} (8 d-7 e x) \sqrt{d+e x}}{63 e^3}-\frac{2 \left (a+c x^2\right )^{5/2}}{e \sqrt{d+e x}} \]

Antiderivative was successfully verified.

[In]  Int[(a + c*x^2)^(5/2)/(d + e*x)^(3/2),x]

[Out]

(-8*c*Sqrt[d + e*x]*(d*(32*c*d^2 + 33*a*e^2) - 3*e*(8*c*d^2 + 7*a*e^2)*x)*Sqrt[a
+ c*x^2])/(63*e^5) - (20*c*(8*d - 7*e*x)*Sqrt[d + e*x]*(a + c*x^2)^(3/2))/(63*e
^3) - (2*(a + c*x^2)^(5/2))/(e*Sqrt[d + e*x]) - (16*Sqrt[-a]*Sqrt[c]*(32*c^2*d^4
+ 57*a*c*d^2*e^2 + 21*a^2*e^4)*Sqrt[d + e*x]*Sqrt[1 + (c*x^2)/a]*EllipticE[ArcS
in[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*e)/(Sqrt[-a]*Sqrt[c]*d - a*e)]
)/(63*e^6*Sqrt[(Sqrt[c]*(d + e*x))/(Sqrt[c]*d + Sqrt[-a]*e)]*Sqrt[a + c*x^2]) +
(16*Sqrt[-a]*Sqrt[c]*d*(c*d^2 + a*e^2)*(32*c*d^2 + 33*a*e^2)*Sqrt[(Sqrt[c]*(d +
e*x))/(Sqrt[c]*d + Sqrt[-a]*e)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (S
qrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*e)/(Sqrt[-a]*Sqrt[c]*d - a*e)])/(63*e^6*Sqrt
[d + e*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((c*x**2+a)**(5/2)/(e*x+d)**(3/2),x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [C]  time = 7.35665, size = 684, normalized size = 1.5 \[ \frac{\sqrt{d+e x} \left (-\frac{2 \left (a+c x^2\right ) \left (63 a^2 e^4+2 a c e^2 \left (106 d^2+29 d e x-14 e^2 x^2\right )+c^2 \left (128 d^4+32 d^3 e x-16 d^2 e^2 x^2+10 d e^3 x^3-7 e^4 x^4\right )\right )}{e^5 (d+e x)}+\frac{16 \left (e^2 \left (a+c x^2\right ) \sqrt{-d-\frac{i \sqrt{a} e}{\sqrt{c}}} \left (21 a^2 e^4+57 a c d^2 e^2+32 c^2 d^4\right )-\sqrt{a} \sqrt{c} e (d+e x)^{3/2} \left (12 i a^{3/2} \sqrt{c} d e^3+21 a^2 e^4+8 i \sqrt{a} c^{3/2} d^3 e+57 a c d^2 e^2+32 c^2 d^4\right ) \sqrt{\frac{e \left (x+\frac{i \sqrt{a}}{\sqrt{c}}\right )}{d+e x}} \sqrt{-\frac{-e x+\frac{i \sqrt{a} e}{\sqrt{c}}}{d+e x}} F\left (i \sinh ^{-1}\left (\frac{\sqrt{-d-\frac{i \sqrt{a} e}{\sqrt{c}}}}{\sqrt{d+e x}}\right )|\frac{\sqrt{c} d-i \sqrt{a} e}{\sqrt{c} d+i \sqrt{a} e}\right )+\sqrt{c} (d+e x)^{3/2} \left (57 a^{3/2} c d^2 e^3+21 a^{5/2} e^5-21 i a^2 \sqrt{c} d e^4-57 i a c^{3/2} d^3 e^2+32 \sqrt{a} c^2 d^4 e-32 i c^{5/2} d^5\right ) \sqrt{\frac{e \left (x+\frac{i \sqrt{a}}{\sqrt{c}}\right )}{d+e x}} \sqrt{-\frac{-e x+\frac{i \sqrt{a} e}{\sqrt{c}}}{d+e x}} E\left (i \sinh ^{-1}\left (\frac{\sqrt{-d-\frac{i \sqrt{a} e}{\sqrt{c}}}}{\sqrt{d+e x}}\right )|\frac{\sqrt{c} d-i \sqrt{a} e}{\sqrt{c} d+i \sqrt{a} e}\right )\right )}{e^7 (d+e x) \sqrt{-d-\frac{i \sqrt{a} e}{\sqrt{c}}}}\right )}{63 \sqrt{a+c x^2}} \]

Antiderivative was successfully verified.

[In]  Integrate[(a + c*x^2)^(5/2)/(d + e*x)^(3/2),x]

[Out]

(Sqrt[d + e*x]*((-2*(a + c*x^2)*(63*a^2*e^4 + 2*a*c*e^2*(106*d^2 + 29*d*e*x - 14
*e^2*x^2) + c^2*(128*d^4 + 32*d^3*e*x - 16*d^2*e^2*x^2 + 10*d*e^3*x^3 - 7*e^4*x^
4)))/(e^5*(d + e*x)) + (16*(e^2*Sqrt[-d - (I*Sqrt[a]*e)/Sqrt[c]]*(32*c^2*d^4 + 5
7*a*c*d^2*e^2 + 21*a^2*e^4)*(a + c*x^2) + Sqrt[c]*((-32*I)*c^(5/2)*d^5 + 32*Sqrt
[a]*c^2*d^4*e - (57*I)*a*c^(3/2)*d^3*e^2 + 57*a^(3/2)*c*d^2*e^3 - (21*I)*a^2*Sqr
t[c]*d*e^4 + 21*a^(5/2)*e^5)*Sqrt[(e*((I*Sqrt[a])/Sqrt[c] + x))/(d + e*x)]*Sqrt[
-(((I*Sqrt[a]*e)/Sqrt[c] - e*x)/(d + e*x))]*(d + e*x)^(3/2)*EllipticE[I*ArcSinh[
Sqrt[-d - (I*Sqrt[a]*e)/Sqrt[c]]/Sqrt[d + e*x]], (Sqrt[c]*d - I*Sqrt[a]*e)/(Sqrt
[c]*d + I*Sqrt[a]*e)] - Sqrt[a]*Sqrt[c]*e*(32*c^2*d^4 + (8*I)*Sqrt[a]*c^(3/2)*d^
3*e + 57*a*c*d^2*e^2 + (12*I)*a^(3/2)*Sqrt[c]*d*e^3 + 21*a^2*e^4)*Sqrt[(e*((I*Sq
rt[a])/Sqrt[c] + x))/(d + e*x)]*Sqrt[-(((I*Sqrt[a]*e)/Sqrt[c] - e*x)/(d + e*x))]
*(d + e*x)^(3/2)*EllipticF[I*ArcSinh[Sqrt[-d - (I*Sqrt[a]*e)/Sqrt[c]]/Sqrt[d + e
*x]], (Sqrt[c]*d - I*Sqrt[a]*e)/(Sqrt[c]*d + I*Sqrt[a]*e)]))/(e^7*Sqrt[-d - (I*S
qrt[a]*e)/Sqrt[c]]*(d + e*x))))/(63*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Maple [B]  time = 0.044, size = 1736, normalized size = 3.8 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((c*x^2+a)^(5/2)/(e*x+d)^(3/2),x)

[Out]

2/63*(c*x^2+a)^(1/2)*(e*x+d)^(1/2)*(7*x^6*c^3*e^6-10*x^5*c^3*d*e^5+168*a^3*(-(e*
x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^
(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-c*d))^(1/2)*EllipticF((-(e*x+d)*c/((
-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*e^
6+360*EllipticF((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/(
(-a*c)^(1/2)*e+c*d))^(1/2))*a^2*c*d^2*e^4*(-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2
)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*
c)^(1/2)*e-c*d))^(1/2)+264*(-a*c)^(1/2)*(-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2)*
((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*c)
^(1/2)*e-c*d))^(1/2)*EllipticF((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)
^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*a^2*d*e^5+192*EllipticF((-(e*x+d)*c/(
(-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*a
*c^2*d^4*e^2*(-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a
*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-c*d))^(1/2)+520*El
lipticF((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(
1/2)*e+c*d))^(1/2))*a*c*d^3*e^3*(-a*c)^(1/2)*(-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(
1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2))*e/((
-a*c)^(1/2)*e-c*d))^(1/2)+256*EllipticF((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),
(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*c^2*d^5*e*(-a*c)^(1/2)*(-(e*
x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^
(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-c*d))^(1/2)-168*a^3*(-(e*x+d)*c/((-a
*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x
+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-c*d))^(1/2)*EllipticE((-(e*x+d)*c/((-a*c)^(1/2)
*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*e^6-624*Ellip
ticE((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2
)*e+c*d))^(1/2))*a^2*c*d^2*e^4*(-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-
a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-
c*d))^(1/2)-712*EllipticE((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))^(1/2),(-((-a*c)^(1/2
)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*a*c^2*d^4*e^2*(-(e*x+d)*c/((-a*c)^(1/2)*e-
c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((c*x+(-a*c)^(1/2
))*e/((-a*c)^(1/2)*e-c*d))^(1/2)-256*EllipticE((-(e*x+d)*c/((-a*c)^(1/2)*e-c*d))
^(1/2),(-((-a*c)^(1/2)*e-c*d)/((-a*c)^(1/2)*e+c*d))^(1/2))*c^3*d^6*(-(e*x+d)*c/(
(-a*c)^(1/2)*e-c*d))^(1/2)*((-c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e+c*d))^(1/2)*((
c*x+(-a*c)^(1/2))*e/((-a*c)^(1/2)*e-c*d))^(1/2)+35*x^4*a*c^2*e^6+16*x^4*c^3*d^2*
e^4-68*x^3*a*c^2*d*e^5-32*x^3*c^3*d^3*e^3-35*x^2*a^2*c*e^6-196*x^2*a*c^2*d^2*e^4
-128*x^2*c^3*d^4*e^2-58*x*a^2*c*d*e^5-32*x*a*c^2*d^3*e^3-63*a^3*e^6-212*a^2*c*d^
2*e^4-128*c^2*d^4*a*e^2)/e^7/(c*e*x^3+c*d*x^2+a*e*x+a*d)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (c x^{2} + a\right )}^{\frac{5}{2}}}{{\left (e x + d\right )}^{\frac{3}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + a)^(5/2)/(e*x + d)^(3/2),x, algorithm="maxima")

[Out]

integrate((c*x^2 + a)^(5/2)/(e*x + d)^(3/2), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (c^{2} x^{4} + 2 \, a c x^{2} + a^{2}\right )} \sqrt{c x^{2} + a}}{{\left (e x + d\right )}^{\frac{3}{2}}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + a)^(5/2)/(e*x + d)^(3/2),x, algorithm="fricas")

[Out]

integral((c^2*x^4 + 2*a*c*x^2 + a^2)*sqrt(c*x^2 + a)/(e*x + d)^(3/2), x)

_______________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{\left (a + c x^{2}\right )^{\frac{5}{2}}}{\left (d + e x\right )^{\frac{3}{2}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x**2+a)**(5/2)/(e*x+d)**(3/2),x)

[Out]

Integral((a + c*x**2)**(5/2)/(d + e*x)**(3/2), x)

_______________________________________________________________________________________

GIAC/XCAS [F(-2)]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: RuntimeError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((c*x^2 + a)^(5/2)/(e*x + d)^(3/2),x, algorithm="giac")

[Out]

Exception raised: RuntimeError